Rules of Order for Electronic Group DecisionMaking { A Formalization

نویسندگان

  • Henry Prakken
  • Thomas F. Gordon
چکیده

This paper reports on an ongoing research project, consisting of formalizing rules of order for group decision making, and implementing them as a procedural component of automated mediation systems for group decision making. The component should ultimately assist a human mediator in maintaining order at electronic meetings, and in giving advice to the participants on their options, rights and obligations in the decision making process. A main requirement for the system is that order can be maintained in a exible way, allowing to set the rules aside when needed. This paper presents the rst research result of the project: a way of formalizing rules of order that makes it possible to maintain order in such a exible way.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Rules of Order for Electronic Group DecisionMaking {

This paper reports on an ongoing research project, consisting of formalizing rules of order for group decision making, and implementing them as a procedural component of automated mediation systems for group decision making. The component should ultimately assist a human mediator in maintaining order at electronic meetings, and in giving advice to the participants on their options, rights and o...

متن کامل

Rules of Order for Electronic Group Decision Making - A Formalization Methodology

This paper reports on an ongoing research project, consisting of formalizing rules of order for group decision making, and implementing them as a procedural component of automated mediation systems for group decision making. The component should ultimately assist a human mediator in maintaining order at electronic meetings, and in giving advice to the participants on their options, rights and o...

متن کامل

A Mechanism for Group Decision Making in Collaborative Activity

The SharedPlans formalization of collaboration (Grosz and Kraus 1999) stipulates that collaborating agents must commit to certain decision-making processes, but it does not specify those processes. This paper presents a mechanism for group decision making that may be applied to the decisions that agents involved in a SharedPlan need to make: adopting the initial commitment, selecting a recipe, ...

متن کامل

Formalizing Abstract Algebra in Constructive Set Theory

We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a collection of inference rules, defining a logic for groups. Then we can tell whether a given set with a binary operation is a group or not, and derive all properties of groups constructively from these inferen...

متن کامل

Discussing the Rules: Electronic Rulemaking and Democratic Deliberation

Of all recent efforts to transform the federal bureaucracy through the use of information technology, electronic rulemaking holds the most potential for enhancing the role of the public in policymaking. In its more expansive formulation, electronic rulemaking would allow citizens to learn about proposed regulations on the Web, comment on them electronically, read comments by others, and even di...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998